- space consistency check
- 空间一致性检验
Atmospheric Sciences (English-Chinese) dictionary. 2014.
Atmospheric Sciences (English-Chinese) dictionary. 2014.
Data consistency — summarizes the validity, accuracy, usability and integrity of related data between applications and across an IT enterprise. This ensures that each user observes a consistent view of the data, including visible changes made by the user s own… … Wikipedia
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Consultative Committee for Space Data Systems — The Consultative Committee for Space Data Systems (CCSDS) was formed in 1982 by the major space agencies of the world to provide a forum for discussion of common problems in the development and operation of space data systems. The Committee meets … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Backmarking — In constraint satisfaction, backmarking is a variant of the backtracking algorithm.Backmarking works like backtracking by iteratively evaluating variables in a given order, for example, x 1,ldots,x n. It improves over backtracking by maintaining… … Wikipedia
Cosmic Background Explorer — (COBE) General information NSSDC ID 1989 089A Organization NASA … Wikipedia
Gravitational lens — Gravitational Lensing Formalism Strong lensing … Wikipedia
Active Directory — (AD) is a directory service created by Microsoft for Windows domain networks. It is included in most Windows Server operating systems. Server computers on which Active Directory is running are called domain controllers. Active Directory serves as … Wikipedia
ntfsprogs — Stable release 2.0.0 / September 29, 2007; 4 years ago (2007 09 29) Written in C Operating system Unix like … Wikipedia
Identification key — In biology, an identification key is a printed or computer aided device that aids the identification of biological entities, such as plants, animals, fossils, microorganisms, and pollen grains. Identification keys are also used in many other… … Wikipedia